On the Structure of Lindenbaum Algebras: an Approach Using Algebraic Logic
نویسنده
چکیده
The following problem of algebraic logic is investigated: to determine those Boolean algebras which admit the structure of a nondiscrete cylindric algebra. A partial solution is found, and is then used to give an algebraic characterization of the Lindenbaum algebras of formulas of several broad classes of countable theories.
منابع مشابه
AN ALGEBRAIC STRUCTURE FOR INTUITIONISTIC FUZZY LOGIC
In this paper we extend the notion of degrees of membership and non-membership of intuitionistic fuzzy sets to lattices and introduce a residuated lattice with appropriate operations to serve as semantics of intuitionistic fuzzy logic. It would be a step forward to find an algebraic counterpart for intuitionistic fuzzy logic. We give the main properties of the operations defined and prove som...
متن کاملTense like equality algebras
In this paper, first we define the notion of involutive operator on bounded involutive equality algebras and by using it, we introduce a new class of equality algebras that we called it a tense like equality algebra. Then we investigate some properties of tense like equality algebra. For two involutive bounded equality algebras and an equality homomorphism between them, we prove that the tense ...
متن کاملOn the Contributions of Helena Rasiowa to Mathematical Logic
I will summarize the central aspects of the contributions of Helena Rasiowa (1917-1994) to the more traditional or “classical” part of Mathematical Logic. One could reasonably argue that all her original research properly belongs to Mathematical Logic, more precisely to the sub-field of Algebraic Logic. As a natural consequence of her previous work on non-classical log&, in the seventies she be...
متن کاملRepresentation Theorems for Implication Structures
Professor Rasiowa [HR49] considers implication algebras (A,⇒, V ) such that ⇒ is a binary operation on the universe A and V ∈ A. In particular, there are studied implicative algebras, positive implication algebras and implication algebras; the second kind corresponds to the logic of positive implication, and the third one to the logic of classical implication. In each case, the distinguished el...
متن کاملHvMV-ALGEBRAS II
In this paper, we continue our study on HvMV-algebras. The quotient structure of an HvMV-algebra by a suitable types of congruences is studied and some properties and related results are given. Some homomorphism theorems are given, as well. Also, the fundamental HvMV-algebra and the direct product of a family of HvMV-algebras are investigated and some related results are obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010